3.738 \(\int \frac{1}{x^4 \left (a+b x^8\right ) \sqrt{c+d x^8}} \, dx\)

Optimal. Leaf size=64 \[ -\frac{\sqrt{\frac{d x^8}{c}+1} F_1\left (-\frac{3}{8};1,\frac{1}{2};\frac{5}{8};-\frac{b x^8}{a},-\frac{d x^8}{c}\right )}{3 a x^3 \sqrt{c+d x^8}} \]

[Out]

-(Sqrt[1 + (d*x^8)/c]*AppellF1[-3/8, 1, 1/2, 5/8, -((b*x^8)/a), -((d*x^8)/c)])/(
3*a*x^3*Sqrt[c + d*x^8])

_______________________________________________________________________________________

Rubi [A]  time = 0.199635, antiderivative size = 64, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083 \[ -\frac{\sqrt{\frac{d x^8}{c}+1} F_1\left (-\frac{3}{8};1,\frac{1}{2};\frac{5}{8};-\frac{b x^8}{a},-\frac{d x^8}{c}\right )}{3 a x^3 \sqrt{c+d x^8}} \]

Antiderivative was successfully verified.

[In]  Int[1/(x^4*(a + b*x^8)*Sqrt[c + d*x^8]),x]

[Out]

-(Sqrt[1 + (d*x^8)/c]*AppellF1[-3/8, 1, 1/2, 5/8, -((b*x^8)/a), -((d*x^8)/c)])/(
3*a*x^3*Sqrt[c + d*x^8])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 26.6591, size = 54, normalized size = 0.84 \[ - \frac{\sqrt{c + d x^{8}} \operatorname{appellf_{1}}{\left (- \frac{3}{8},\frac{1}{2},1,\frac{5}{8},- \frac{d x^{8}}{c},- \frac{b x^{8}}{a} \right )}}{3 a c x^{3} \sqrt{1 + \frac{d x^{8}}{c}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(1/x**4/(b*x**8+a)/(d*x**8+c)**(1/2),x)

[Out]

-sqrt(c + d*x**8)*appellf1(-3/8, 1/2, 1, 5/8, -d*x**8/c, -b*x**8/a)/(3*a*c*x**3*
sqrt(1 + d*x**8/c))

_______________________________________________________________________________________

Mathematica [B]  time = 0.698097, size = 345, normalized size = 5.39 \[ \frac{\frac{169 x^8 (3 b c-a d) F_1\left (\frac{5}{8};\frac{1}{2},1;\frac{13}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )}{\left (a+b x^8\right ) \left (4 x^8 \left (2 b c F_1\left (\frac{13}{8};\frac{1}{2},2;\frac{21}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )+a d F_1\left (\frac{13}{8};\frac{3}{2},1;\frac{21}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )\right )-13 a c F_1\left (\frac{5}{8};\frac{1}{2},1;\frac{13}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )\right )}-\frac{105 b d x^{16} F_1\left (\frac{13}{8};\frac{1}{2},1;\frac{21}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )}{\left (a+b x^8\right ) \left (4 x^8 \left (2 b c F_1\left (\frac{21}{8};\frac{1}{2},2;\frac{29}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )+a d F_1\left (\frac{21}{8};\frac{3}{2},1;\frac{29}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )\right )-21 a c F_1\left (\frac{13}{8};\frac{1}{2},1;\frac{21}{8};-\frac{d x^8}{c},-\frac{b x^8}{a}\right )\right )}-\frac{65 \left (c+d x^8\right )}{a c}}{195 x^3 \sqrt{c+d x^8}} \]

Warning: Unable to verify antiderivative.

[In]  Integrate[1/(x^4*(a + b*x^8)*Sqrt[c + d*x^8]),x]

[Out]

((-65*(c + d*x^8))/(a*c) + (169*(3*b*c - a*d)*x^8*AppellF1[5/8, 1/2, 1, 13/8, -(
(d*x^8)/c), -((b*x^8)/a)])/((a + b*x^8)*(-13*a*c*AppellF1[5/8, 1/2, 1, 13/8, -((
d*x^8)/c), -((b*x^8)/a)] + 4*x^8*(2*b*c*AppellF1[13/8, 1/2, 2, 21/8, -((d*x^8)/c
), -((b*x^8)/a)] + a*d*AppellF1[13/8, 3/2, 1, 21/8, -((d*x^8)/c), -((b*x^8)/a)])
)) - (105*b*d*x^16*AppellF1[13/8, 1/2, 1, 21/8, -((d*x^8)/c), -((b*x^8)/a)])/((a
+ b*x^8)*(-21*a*c*AppellF1[13/8, 1/2, 1, 21/8, -((d*x^8)/c), -((b*x^8)/a)] + 4*
x^8*(2*b*c*AppellF1[21/8, 1/2, 2, 29/8, -((d*x^8)/c), -((b*x^8)/a)] + a*d*Appell
F1[21/8, 3/2, 1, 29/8, -((d*x^8)/c), -((b*x^8)/a)]))))/(195*x^3*Sqrt[c + d*x^8])

_______________________________________________________________________________________

Maple [F]  time = 0.108, size = 0, normalized size = 0. \[ \int{\frac{1}{{x}^{4} \left ( b{x}^{8}+a \right ) }{\frac{1}{\sqrt{d{x}^{8}+c}}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(1/x^4/(b*x^8+a)/(d*x^8+c)^(1/2),x)

[Out]

int(1/x^4/(b*x^8+a)/(d*x^8+c)^(1/2),x)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{{\left (b x^{8} + a\right )} \sqrt{d x^{8} + c} x^{4}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((b*x^8 + a)*sqrt(d*x^8 + c)*x^4),x, algorithm="maxima")

[Out]

integrate(1/((b*x^8 + a)*sqrt(d*x^8 + c)*x^4), x)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((b*x^8 + a)*sqrt(d*x^8 + c)*x^4),x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/x**4/(b*x**8+a)/(d*x**8+c)**(1/2),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{{\left (b x^{8} + a\right )} \sqrt{d x^{8} + c} x^{4}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(1/((b*x^8 + a)*sqrt(d*x^8 + c)*x^4),x, algorithm="giac")

[Out]

integrate(1/((b*x^8 + a)*sqrt(d*x^8 + c)*x^4), x)